تعداد ۱۳ پاسخ غیر تکراری از ۱۳ پاسخ تکراری در مدت زمان ۵,۵۶ ثانیه یافت شد.

1. Computer aided verification : fourth international workshop, CAV 92, Montreal, Canada, June 29-July 1, 1992 : proceedings

پدیدآورنده : G. v. Bochmann, D.K. Probst, eds

کتابخانه: (طهران)

موضوع : Computer software Verification -- Congresses, Integrated circuits Verification -- Congresses, Electronic digital computers Evaluation -- Congresses

رده :

QA

76

.

76

.

V47

C38

1993

2. Computer aided verification : international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings

پدیدآورنده : Warren A. Hunt, Jr., Fabio Somenzi )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers

رده :

QA

76

.

L28

Vol

.

2725

3. Computer aided verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings

پدیدآورنده : Rajeev Alur, Doron A. Peled )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers

رده :

QA

76

.

L28

Vol

.

3114

4. Computer aided verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings

پدیدآورنده : Kousha Etessami, Sriram K. Rajamani )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,evaluation -- Congresses ، Electronic digital computers

رده :

QA

76

.

L28

Vol

.

3576

5. Computer-aided verification : 8th International Conference, CAV'96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings

پدیدآورنده : Rajeev Alur, Thomas A. Henzinger

کتابخانه: (طهران)

موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation - Congresses ، Electronic digital computers

رده :

QA

76

.

L28

Vol

.

1102

6. Computer aided verification: 13th International conference, CAV 2001, Paris, France, July 18-22, 2001: proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : Congresses ، Computer software-- Verification,Congresses ، Integrated circuits-- Verification

رده :

QA

76

.

76

.

E93

.

C38

2001

7. Computer aided verification : 13th international conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings

پدیدآورنده : Gerard Berry, Hubert Comon, Alain Finkel )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification

رده :

QA

76

.

L28

Vol

.

2102

8. Correct hardware design methodologies: proceedings of the Advanced Research Workshop on Correct Hardware Design Methodologies, Turin, Italy, June 12-14, 1991

پدیدآورنده : Edited by Paolo Prinetto, Paolo Camurati

کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)

موضوع : Integrated circuits--Very large scale integration--Design and construction - Data processing--Congresses,Computer - Aided design--congresses,Computer software--Verification--Congresses

رده :

TK

7874

.

A3353

1991

9. Hardware and software, verification and testing

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computer systems ; Verification ; Congresses. ; Computer software ; Verification ; Congresses. ; Computer programs ; Verification ; Congresses. ; Integrated circuits ; Verification ; Congresses. ;

10. Languages, design methods, and tools for electronic system design :

پدیدآورنده : Daniel Große, Sara Vinco, Hiren Patel, editors.

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer-aided design, Congresses.,Electronic circuit design-- Data processing, Congresses.,Computer-aided design.,Electronic circuit design-- Data processing.,TECHNOLOGY & ENGINEERING-- Mechanical.

رده :

TK7867

11. System specification and design languages

پدیدآورنده : / Tom J. Kaazmierski, Adam Morawiec, editors

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Computer hardware description languages--Congresses,Integrated circuits--Very large scale integration--Design and construction--Congresses,Formal methods (Computer science)--Congresses,Software engineering--Congresses,Computer software--Verification--Congresses,Software architecture--Congresses

رده :

TK7885

.

7

.

F35

2012

12. System specification and design languages

پدیدآورنده : Tom J. Kaźmierski, Adam Morawiec, editors

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer hardware description languages, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Integrated circuits-- Very large scale integration-- Design and construction, Congresses,Software architecture, Congresses,Software engineering, Congresses

رده :

TK7885

.

7

.

F35

2010eb

13. System specification & design languages :

پدیدآورنده : edited by Eugenio Villar, Jean Mermet.

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer hardware description languages -- Congresses.,Computer hardware description languages.,Integrated circuits -- Very large scale integration -- Design and construction -- Congresses.

رده :

TK7885

.

7

E358

2003

»
1
«

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها